# SPDX-License-Identifier: GPL-2.0-only
obj-$(CONFIG_RTOS_HAL_HPVISOR_VNOTIFY) += vnotify.o
obj-$(CONFIG_RTOS_HAL_HPVISOR_VNOTIFY) += um_vnotify.o
obj-$(CONFIG_RTOS_HAL_HPVISOR_VNOTIFY) += vnotify_dev.o
obj-$(CONFIG_RTOS_HAL_HPVISOR_VNOTIFY) += dfx.o
